I built a Go framework: Anclax
github.com·1d·
Discuss: Hacker News
❄️NixOS
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·2h·
Discuss: r/programming
👁️System Observability
Incommensurability
lesswrong.com·6h
➡️Category Theory
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5d
Automated Theorem Proving
Beginners Guide to IC Reverse Engineering – With a High Likelihood of Survival! (DS2025)
cdn.media.ccc.de·17h
💾Retro Computing
Build a Web Research Agent with Strands Agents, Ollama, Qwen3, and the Tavily MCP Server
garystafford.medium.com·1h·
Discuss: r/programming
🐳Containerization
Prompt Strategies for Terraform Test Generation
masterpoint.io·6h·
Discuss: Hacker News
🤖Program Synthesis
Kernel: Introduce Multikernel Architecture Support
lore.kernel.org·1h·
⚙️Operating System Design
The Pattern Collector
sciencenews.org·9h·
Discuss: Hacker News
🧮Lambda Calculus
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·14h·
Discuss: r/programming
📊Runtime Verification
Can a Data Race Happen on a Single-Core Machine?
aoli.al·3d·
Discuss: Hacker News
🔧Unikernel Development
My computer science RELEARNING progress logs
rbcrossley.github.io·22h·
💻CS
Tutorial Introduction to Guile
gnu.org·1d·
Discuss: Hacker News
Automated Theorem Proving
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Token Models as Statistical Simulations: A Different Take
medium.com·9h·
Discuss: Hacker News
🧩Parser Combinators
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Driving Complex Decisions
garrettdbates.com·15h·
Discuss: Hacker News
🤖Program Synthesis
My experience with AI as a front end developer
frontendundefined.com·57m·
Discuss: Hacker News
💎Refinement Types
A brief history of threads and threading
eclecticlight.co·2d·
⚙️Operating System Design